Having an element a which is a generator, i.e., for which .